1. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings
Author: Jean-Pierre Jouannaud )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
845
2. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
Author: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
306
3. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
Author: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
6
.
F6858
1986
4. Logic and computer science
Author: Edited by Piergiorgio Odifreddi
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
Classification :
QA
9
.
L6
1990
5. Logic and computer science
Author: / S. Homer... [et al.]
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
Classification :
QA
9
.
A1L6
1990
6. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author: S. Homer ... ]et al.[; editor, P. Odifreddi
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
Classification :
QA
3
.
L28
Vol
.
1429
7. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author: S. Homer...]et al.[; editor, P. Odifreddi
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
Classification :
QA
3
.
L28
no
.
1429
8. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
Classification :
QA
3
.
L28
no
.
1429
9. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
Author: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
Classification :
Q
334
.
E985
1990
10. Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical,Correctness ، Computer programs
Classification :
QA
75
.
5
.
S9574a
11. Proof and computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
Classification :
QA76
.
63
E358
1995
12. Proof and computation
Author: edited by Helmut Schwichtenberg
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
63
.
P74
